euler's formula for planar graphs proof